Tableau-Based Reasoning
نویسندگان
چکیده
منابع مشابه
Plan-based Axiom Absorption for Tableau-based Description Logics Reasoning
Plan-based Axiom Absorption for Tableau-based Description Logics Reasoning
متن کاملCombining Integer Programming and Tableau-based Reasoning: a Hybrid Calculus for the Description Logic Shq
Combining Integer Programming and Tableau-based Reasoning: A Hybrid Calculus for the Description Logic SHQ
متن کاملExploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning
Multiprocessor equipment is cheap and ubiquitous now, but users of description logic (DL) reasoners have to face the awkward fact that the major tableau-based DL reasoners can make use only one of the available processors. Recently, researchers have started investigating how concurrent computing can play a role in tableau-based DL reasoning with the intention of fully exploiting the processing ...
متن کاملTableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملAxiomatic and Tableau-Based Reasoning for Kt(H, R)
We introduce a tense logic, called Kt(H,R), arising from logics for spatial reasoning. Kt(H,R) is a multi-modal logic with two modalities and their converses defined with respect to a pre-order and a relation stable over this pre-order. We show Kt(H,R) is decidable, it has the effective finite model property and reasoning in Kt(H,R) is PSPACE-complete. Two complete Hilbert-style axiomatisations...
متن کاملAlgebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes. Some of these cardinalities are specified explicitly but quite a few are entailed and need to be discovered by reasoning procedures. Due to the description logic (DL) foundation of OWL those reasoning ser...
متن کامل